- 双语例句 更多例句
A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件.
词典精选例句
搜寻这个错误很容易, 维护和修改这个程式也很容易.
互联网摘选
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
- 相关词组
- problem program问题程序;
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- jap-job analysis program工作分析程序法;
- program musicn.标题音乐,描写音乐;
- modularized program模块化程序;
- program behavior model程序功效模型;
- map programun.变换程序;分布图程序
- uranium enrichment program铀浓缩计划;
- TV programn.电视节目;
- anti-virus program防毒程序;
- drawing program放矿计划;
- executive development program主管发展计划;
- pilot program试点计划;
- program directorn.节目部主任,计划主持人;
- political correctnessn.政治正确性;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- United Nations Development Program联合国开发计划署;
- tv programn.电视节目;
- flexible benefits program弹性福利计划;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- 今日热词
- 热门搜索
- coward n.胆小鬼,懦夫;
- darken vt.& vi.(使)变暗;(使)模糊;
- airplane n.<美>飞机;
- 琵琶行 Pipa Xing;pi pa xing;pipaxing;The Pi-pa Player;PPX
- consult v.咨询;商量;查阅;
- smart adj.聪明的;敏捷的;整洁的;v.感到刺痛;
- wicked adj.邪恶的;淘气的;缺德的;恶毒的;
- put vt. 放;表达;给予(重视、信任、价值等);使处于(某种状态);vt.& vi. 使感觉到;使受到…的影响;
- dinner n.正餐,主餐;宴会;晚餐;
- wide adj.宽的;(笑容)灿烂的;张开很大的;广泛的;巨大的;adv.充分地;
- Dior 迪奥;
- cake n.蛋糕;饼;小块;v.结块;覆盖;
